home *** CD-ROM | disk | FTP | other *** search
- package com.extensibility.esc;
-
- import com.extensibility.app.UI;
- import java.awt.event.MouseAdapter;
- import java.awt.event.MouseEvent;
-
- class ESCWindow$5 extends MouseAdapter {
- // $FF: synthetic field
- final ESCWindow this$0;
-
- public void mousePressed(MouseEvent var1) {
- if (var1.getClickCount() >= 2) {
- String var2 = (String)this.this$0.prefs.get(UI.getString("refresh.on"));
- if (var2 == null) {
- var2 = UI.getString("refresh.on.value");
- }
-
- if (var2.equalsIgnoreCase("true")) {
- this.this$0.prefs.put(UI.getString("refresh.on"), "false");
- } else {
- this.this$0.prefs.put(UI.getString("refresh.on"), "true");
- }
-
- ESCWindow.access$7000371(this.this$0);
- }
-
- }
-
- ESCWindow$5(ESCWindow var1) {
- this.this$0 = var1;
- }
- }
-